<script type="text/javascript" src="devtools.js"></script>